41 ideas
| 7740 | There exists a realm, beyond objects and ideas, of non-spatio-temporal thoughts [Frege, by Weiner] |
| 22024 | Fichte's subjectivity struggles to then give any account of objectivity [Pinkard on Fichte] |
| 19466 | The word 'true' seems to be unique and indefinable [Frege] |
| 19465 | There cannot be complete correspondence, because ideas and reality are quite different [Frege] |
| 19468 | The property of truth in 'It is true that I smell violets' adds nothing to 'I smell violets' [Frege] |
| 7798 | There are three axiom schemas for propositional logic [Girle] |
| 7786 | Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations [Girle] |
| 7799 | Proposition logic has definitions for its three operators: or, and, and identical [Girle] |
| 7797 | Axiom systems of logic contain axioms, inference rules, and definitions of proof and theorems [Girle] |
| 7794 | There are seven modalities in S4, each with its negation [Girle] |
| 7793 | ◊p → □◊p is the hallmark of S5 [Girle] |
| 7795 | S5 has just six modalities, and all strings can be reduced to those [Girle] |
| 7787 | Possible worlds logics use true-in-a-world rather than true [Girle] |
| 7796 | Modal logics were studied in terms of axioms, but now possible worlds semantics is added [Girle] |
| 7788 | Modal logic has four basic modal negation equivalences [Girle] |
| 7789 | Necessary implication is called 'strict implication'; if successful, it is called 'entailment' [Girle] |
| 22017 | Normativity needs the possibility of negation, in affirmation and denial [Fichte, by Pinkard] |
| 7790 | If an argument is invalid, a truth tree will indicate a counter-example [Girle] |
| 19470 | Thoughts in the 'third realm' cannot be sensed, and do not need an owner to exist [Frege] |
| 19471 | A fact is a thought that is true [Frege] |
| 9877 | Late Frege saw his non-actual objective objects as exclusively thoughts and senses [Frege, by Dummett] |
| 7800 | Analytic truths are divided into logically and conceptually necessary [Girle] |
| 7801 | Possibilities can be logical, theoretical, physical, economic or human [Girle] |
| 22018 | Necessary truths derive from basic assertion and negation [Fichte, by Pinkard] |
| 7792 | A world has 'access' to a world it generates, which is important in possible worlds semantics [Girle] |
| 22064 | Fichte's logic is much too narrow, and doesn't deduce ethics, art, society or life [Schlegel,F on Fichte] |
| 22032 | Fichte's key claim was that the subjective-objective distinction must itself be subjective [Fichte, by Pinkard] |
| 22020 | We only see ourselves as self-conscious and rational in relation to other rationalities [Fichte] |
| 22060 | The Self is the spontaneity, self-relatedness and unity needed for knowledge [Fichte, by Siep] |
| 22066 | Novalis sought a much wider concept of the ego than Fichte's proposal [Novalis on Fichte] |
| 22016 | The self is not a 'thing', but what emerges from an assertion of normativity [Fichte, by Pinkard] |
| 22019 | Consciousness of an object always entails awareness of the self [Fichte] |
| 19469 | We grasp thoughts (thinking), decide they are true (judgement), and manifest the judgement (assertion) [Frege] |
| 8162 | Thoughts have their own realm of reality - 'sense' (as opposed to the realm of 'reference') [Frege, by Dummett] |
| 9818 | A thought is distinguished from other things by a capacity to be true or false [Frege, by Dummett] |
| 22061 | Judgement is distinguishing concepts, and seeing their relations [Fichte, by Siep] |
| 16379 | Thoughts about myself are understood one way to me, and another when communicated [Frege] |
| 19467 | A 'thought' is something for which the question of truth can arise; thoughts are senses of sentences [Frege] |
| 19472 | A sentence is only a thought if it is complete, and has a time-specification [Frege] |
| 22023 | Fichte's idea of spontaneity implied that nothing counts unless we give it status [Fichte, by Pinkard] |
| 22065 | Fichte reduces nature to a lifeless immobility [Schlegel,F on Fichte] |